包摂規則 T-SUB
subsumption
規則
$ \frac{\Gamma \vdash t: S \quad S<:T}{\Gamma \vdash t:T}
部分型 (subtype)
S
である値は、
T
の値でもあるので、常に
S
を
T
に置き換えられる
リスコフの置換原則 (LSP)
っぽい
mrsekut.icon
https://en.wikipedia.org/wiki/Subtyping#Subsumption
/mrsekut-book-4274069117/166 (第15章 部分型付け)